Mike Dexter: a welcome appointment

Mike Dexter: a welcome appointment

Few first-rate biologists start their careers with only one ‘A-level’ (High School qualification) and a job in a copper wire factory. Fewer still go on to command a research budget of £250 million a year. But then Mike Dexter, who takes over this summer as director of the UK’s Wellcome Trust, the world’s biggest medical research charity, has always done things his own way. Dexter joins the Trus...

Timesharing Dexter

My husband Neil Immerman returned from the 1986 STOC meeting with an interesting proposition. Juris Hartmanis and Dexter Kozen had a small pocket of funds, and they proposed that the two of us visit the Cornell Computer Science Department for a week. It sounded delightful but we had a complication: our new son, who was all of four months old. We decided to time-share Dexter and split child care...

New Dexter

We propose a theoretical device for modeling the creation of new in-discernible semantic objects during program execution. The method fits well with the semantics of imperative, functional, and object-oriented languages and promotes equational reasoning about higher-order state.

Mike Anderson

Mike Holcombe

The generalized stream X-machines (stream X-machines with basic functions replaced by relations and having as output, strings of symbols rather than single symbols) with output delimiter (any output string has at the right end side a special delimiter) are introduced. It is proved that testing methods similar to those already developed for ordinary determi-nistic stream X-machines may be applie...